-
1 принимать аксиому без доказательства
Универсальный русско-английский словарь > принимать аксиому без доказательства
-
2 принимать за аксиому
Mathematics: take as an axiomУниверсальный русско-английский словарь > принимать за аксиому
-
3 принять за аксиому, что
General subject: lay it down as an axiom that (...)Универсальный русско-английский словарь > принять за аксиому, что
-
4 принять за аксиому, что...
General subject: lay it down as an axiom that...Универсальный русско-английский словарь > принять за аксиому, что...
-
5 принять как аксиому, что
Mathematics: take as an axiom thatУниверсальный русско-английский словарь > принять как аксиому, что
-
6 установить аксиому
General subject: lay down an axiomУниверсальный русско-английский словарь > установить аксиому
-
7 Принять без доказательства (за аксиому)
Русско-английский словарь по прикладной математике и механике > Принять без доказательства (за аксиому)
-
8 Принять без доказательства (за аксиому)
Русско-английский словарь по прикладной математике и механике > Принять без доказательства (за аксиому)
-
9 axiom
ˈæksɪəm сущ. аксиома, постулат to lay down an axiom ≈ сформулировать аксиому, выдвинуть постулат we accept the axiom that a straight line is the shortest distance between two points ≈ мы принимаем аксиому, гласящую, что кратчайшее расстояние между двумя точками есть прямая, их соединяющая Syn: principleаксиомаaxiom аксиома -
10 axiom
['æksɪəm]сущ.аксиома, постулатto lay down an axiom — сформулировать аксиому, выдвинуть постулат
We accept the axiom that a straight line is the shortest distance between two points. — Мы принимаем аксиому, гласящую, что кратчайшее расстояние между двумя точками есть прямая, их соединяющая.
Syn: -
11 lay down
1) уложить Lay the wounded soldier down carefully so as not to hurt him. ≈ Уложи раненого осторожно, так чтобы не повредить ему.
2) составить (план)
3) закладывать (здание, корабль) We shall have to lay down a new floor in the upstairs rooms. ≈ На верхнем этаже надо постелить новый пол.
4) сложить (полномочия и т. п.), оставить( службу) to lay down the duties of office ≈ отказаться от должности to lay down one's life ≈ отдать свою жизнь;
пожертвовать жизнью
5) устанавливать, утверждать to lay down the law ≈ устанавливать, формулировать закон;
говорить догматическим тоном;
заявлять безапелляционно
6) покрывать (in, into, under, with - чем-л.) ;
засеивать( травой, цветами и т. п.) This year we must lay the big field down to grass. ≈ В этом году надо посадить траву на большом поле.
7) платить;
ставить на что-л., кого-л. How much are you prepared to lay down that our team will win? ≈ Сколько ты поставишь на то, что мы выиграем? класть, положить - to lay the baby down into a crib уложить ребенка в кроватку (разговорное) провал, неудача( разговорное) (карточное) раскрытие карт (без разыгрывания), выкладывание карт на стол (при явно выигрышной руке) запасать и хранить( в погребе - вино и т. п.) отказываться( от должности и т. п.) оставлять (надежду и т. п.) платить за проигранное пари составлять( план, схему) закладывать (фундамент, корабль) устанавливать, утверждать - to lay it down as an axiom that... принять за аксиому, что... - to * as a principle поставить за правило - to * in an order( военное) указывать в приказе - to * the law устанавливать правовые нормы, формулировать закон;
(разговорное) говорить авторитетным тоном, заявлять безаппеляционно, не допускать возражений засадить( растениями) ;
засеять - to lay a field down in /with, under/ grass засеять поле травой прокладывать (кабель и т. п.) монтировать > to * one's fork and knife (сленг) умереть > to * one's life for one's country положить жизнь за родину > to * arm сложить оружие;
сдатьсяБольшой англо-русский и русско-английский словарь > lay down
-
12 lay down
[ʹleıʹdaʋn] phr v1. 1) класть, положить2) прост. = lie down2. запасать и хранить (в погребе - вино и т. п.)3. 1) отказываться (от должности и т. п.)2) оставлять (надежду и т. п.)4. платить за проигранное пари5. 1) составлять (план, схему)2) закладывать (здание, фундамент, корабль)6. устанавливать, утверждатьto lay it down as an axiom that... - принять за аксиому, что...
to lay down in an order - воен. указывать в приказе
to lay down the law - а) устанавливать правовые нормы, формулировать закон; б) разг. говорить авторитетным тоном, заявлять безапелляционно, не допускать возражений
7. засадить ( растениями); засеятьto lay a field down in /with, under/ grass - засеять поле травой
8. прокладывать (кабель и т. п.)9. монтировать♢
to lay down one's fork and knife - сл. умеретьto lay down arms - сложить оружие; сдаться
-
13 Is fecit cui prodest
см. Cui prodest?Сделал тот, кому выгодно.Вы знаете юридическую аксиому: is fecit cui prodest... Я не знаю, да и знать не хочу, добровольно или по найму он пошел в застрельщики реакции; но поведение его нельзя объяснить одною безнравственностью и нищетой. (М. Л. Михайлов, Парижские письма.)Кому нужно - смешение науки с "оккультизмом", как не тем, кому необходим подъем всего темного, возврат ко всем диким суевериям Средневековья! Старинное юридическое правило гласит: is fecit cui prodest - тот сделал, кому это полезно, и кому нужен мрак, как не тем, кто на мраке основывает всю свою силу? (К. А. Тимирязев, Погоня за чудом как умственный атавизм.)Грубая инсценировка поджога рейхстага разоблачает виновных. Is fecit cui prodest. Документы и планы, опубликованные в "Коричневой книге", со всей очевидностью доказывают, что для поджога требовался многочисленный отряд и что поджигатели проникли со стороны здания, принадлежащего правительству. (Ромен Роллан, Против истинных поджигателей рейхстага.)Латинско-русский словарь крылатых слов и выражений > Is fecit cui prodest
-
14 accept an axiom as primitive and therefore not subject to proof
Макаров: принимать аксиому без доказательстваУниверсальный англо-русский словарь > accept an axiom as primitive and therefore not subject to proof
-
15 lay down an axiom
Общая лексика: установить аксиому -
16 lay it down as an axiom that
Общая лексика: принять за аксиому, что (...)Универсальный англо-русский словарь > lay it down as an axiom that
-
17 lay it down as an axiom that...
Общая лексика: принять за аксиому, что...Универсальный англо-русский словарь > lay it down as an axiom that...
-
18 take as an axiom
1) Математика: принимать в качестве аксиомы, принимать что-то в качестве аксиомы, принимать за аксиому2) Макаров: (smth.) принимать в качестве аксиомы -
19 take as an axiom that
1) Математика: принимать в качестве аксиомы, принять как аксиому, что2) Макаров: (...) принимать в качестве аксиомы -
20 take for granted
1) Общая лексика: воспринимать как само собой разумеющееся, допускать, принимать как должное, счесть не требующим доказательства, считать доказанным, считать само собой разумеющимся, принимать ( что-л.) на веру, считать (что-л) обеспеченным, считать (что-л.) законным, считать дозволенным, считать доказанным, считать не требующим доказательств, считать само собой разумеющимся, считать само собой разумеющимся (не требующим доказательств), (твердо) надеяться на (что-л.), принимать без обсуждения, принимать безапелляционно, принимать за данность, принимать как данность, считать, что все (тебе) должны2) Математика: принимать без доказательства, само собой разуметься, считать не требующим доказательства, принять без доказательства (за аксиому)3) Психология: (smth.) считать (что-л.) само собой разумеющимся4) Патенты: принимать без доказательств5) Психоанализ: (smth) считать (что-л.) само собой разумеющимся6) Международное частное право: принимать без аргументации7) Макаров: надеяться (на что-л.), считать (что л.) не требующим доказательства, твёрдо надеяться (на что-л.)
- 1
- 2
См. также в других словарях:
Аксиоматика теории множеств — Сюда перенаправляется запрос «Теория Цермело Френкеля». На эту тему нужна отдельная статья. Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и у … Википедия
ZFC — Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств. Система аксиом Цермело Френкеля (ZF) является стандартной системой аксиом для… … Википедия
ЛОГИЦИЗМ — концепция, сводящая математику к логике. Согласно Л., логика и математика соотносятся между собой как части одной и той же науки: математика может быть получена из чистой логики без введения дополнительных основных понятий или дополнительных… … Философская энциклопедия
Пучок (математика) — У этого термина существуют и другие значения, см. Пучок. Пучки используются для установления отношений между локальными и глобальными данными. По этой причине они играют значительную роль в топологии, дифференциальной геометрии и алгебраической… … Википедия
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… … Математическая энциклопедия
Аксиома выбора — Аксиомой выбора называется следующее высказывание теории множеств: «Для каждого семейства непустых непересекающихся множеств существует (по меньшей мере одно) множество , которое имеет только один общий элемент c каждым из множеств данного… … Википедия
Лемма Цорна — Аксиомой выбора (Axiom of choice) называется следующее высказывание теории множеств: Аксиома выбора утверждает: «Для каждого семейства непустых непересекающихся множеств существует [по меньшей мере одно] множество , которое имеет только один… … Википедия
Система аксиом фон Неймана — Cистема аксиом фон Неймана Бернайса Гёделя (NBG, аксиоматика Гёделя Бернайса) в метаматематике одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело Френкеля с … Википедия
Лобачевский, Николай Иванович — родился 22 октября 1793 г. в Нижегородской губернии (по одному источнику в Нижнем Новгороде, по другому в Макарьевском уезде). Отец его Иван Максимович, выходец из Западного края, по вероисповеданию католик, потом перешедший в православную веру,… … Большая биографическая энциклопедия
Аксиоматика Гильберта — Аксиоматика Гильберта система аксиом евклидовой геометрии. Разработана Гильбертом как более полная, нежели система аксиом Евклида. Содержание 1 Неопределяемые понятия 2 Аксиомы … Википедия
отношение типа равенства — двухместное отношение R между предметами х и у области D (см.: Предметная область), удовлетворяющее следующим аксиомам (условиям): 1) аксиоме рефлексивности: xRx (предмет находится в отношении R к самому себе) (см.: Отношение рефлексивное); 2)… … Словарь терминов логики